|
In the topology of metric spaces the Heine–Borel theorem, named after Eduard Heine and Émile Borel, states: For a subset ''S'' of Euclidean space R''n'', the following two statements are equivalent: *''S'' is closed and bounded *''S'' is compact (that is, every open cover of ''S'' has a finite subcover). In the context of real analysis, the former property is sometimes used as the defining property of compactness. However, the two definitions cease to be equivalent when we consider subsets of more general metric spaces and in this generality only the latter property is used to define compactness. In fact, the Heine–Borel theorem for arbitrary metric spaces reads: :A subset of a metric space is compact if and only if it is complete and totally bounded. ==History and motivation== The history of what today is called the Heine–Borel theorem starts in the 19th century, with the search for solid foundations of real analysis. Central to the theory was the concept of uniform continuity and the theorem stating that every continuous function on a closed interval is uniformly continuous. Peter Gustav Lejeune Dirichlet was the first to prove this and implicitly he used the existence of a finite subcover of a given open cover of a closed interval in his proof. He used this proof in his 1862 lectures, which were published only in 1904. Later Eduard Heine, Karl Weierstrass and Salvatore Pincherle used similar techniques. Émile Borel in 1895 was the first to state and prove a form of what is now called the Heine–Borel theorem. His formulation was restricted to countable covers. Pierre Cousin (1895), Lebesgue (1898) and Schoenflies (1900) generalized it to arbitrary covers. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Heine–Borel theorem」の詳細全文を読む スポンサード リンク
|